predicate calculus

The structure and process in PI is similarly to deduction in logic . But PI has much richer structures than predicate calculus . It is a complex of logic and psychology .

PI的结构与过程类似于逻辑中的演绎推理，但它的可取之处在于它可以提供比谓词逻辑更加丰富的结构形式，它是心理学与逻辑的综合。

The system was implemented on a LEO 286 personal computer running under a UCDOS operating system . The programming language is Turbo PROLOG 2.0 , which is primarily based on the first order predicate calculus , but permits imperative coding .

该系统选用基于一阶谓词逻辑的TurboProlog2.0版本作为程序设计语言，在UCDOS支持下，在LEO286微机上实现。

Construction of predicate calculus finite set based on the requirement of management information ontology

管理信息本体需求的谓词演算有限集构造

Quantity Limitation and Predicate Calculus in Selection Condition of Composite Objects

复合对象选择条件中的量词约束及谓词演算

PKI Trust Model Analysis Based on Probabilistic Model and Conditional Predicate Calculus Logic

基于概率和条件逻辑的PKI信任模型推理

Also , first-order predicate calculus isn 't good enough anyway .

同时，从各方面来说，一阶谓词演算都不是足够好。

Algorithm and Its Applications of Transformation between Medium Predicate Calculus Systems ME and ME

中介谓词演算系统ME与ME之间的化归算法及其应用

A conditional predicate calculus logic for PKI trust model analysis

PKI信任模型的条件谓词逻辑推理

A new formal deductive system for fuzzy predicate calculus

一个新的模糊谓词演算形式系统

The atomic formula is called atom for short in predicate calculus .

在谓词演算中，有时将原子公式简称为原子。

Predicate calculus system of medium logic (ⅰ)

中介逻辑的谓词演算系统（Ⅰ）

Remainder method for the mechanical theorem proving in first-order predicate calculus

一阶谓词演算定理机器证明的余式方法

Merging γω - calculus and predicate calculus in a first-order mathematical theory

γω演算与谓词演算融合于一阶数学理论中

This paper investigates the theory and application of incomplete information system by using the medium logic predicate calculus system MFM .

本文借助中介逻辑谓词演算系统MFM，对不完全信息系统的理论和应用进行了研究。

This is not expressible as a first-order predicate calculus property .

这就是一个一阶谓词演算不可表述的属性。

An attempt at discussing geometrization problem of predicate calculus

试论谓词演算的几何化问题

Three temporal logics i.e. first-order predicate calculus , modal logic and reified logic are discussed .

讨论了三种时间逻辑方法：一阶谓词演算，模态逻辑及具体化逻辑。

This paper deals with completeness of predicate calculus system of medi - - um logic MF .

本文讨论了中介谓词逻辑系统MF的完备性。

Atomic formula in predicate calculus

谓词演算中的原子公式

This paper introduces first-order predicate calculus and assertion method from precondition to postcondition into the research of refactoring .

引入了一阶谓词演算和前后断言方法，并且自定义了一个重构可靠性证明的逻辑推理系统：重构可靠性推演系统。

Program schemas and predicate calculus

程序模式和谓词演算

It has been proved that the ZF system based on second order predicate calculus is superior to BG system both in conception and in formulation .

本文将说明建基于二级谓词演算的ZF系统，无论从概念（意义）上或形式推导上都优于BG系统。

Backtracking and cut . Finally , we will illustrate the process of converting predicate calculus formula to Horn clauses using PROLOG program .

匹配归结、回溯和cut控制等，并介绍了应用PROLOG程序将谓词公式转换为Horn子句的过程。

A legitimate expression of the predicate calculus . That is , it is acceptable under the predicate calculus ' syntax .

一个合法的谓词演算表达式，即谓词演算语法所允许的公式。

Connective in predicate calculus

谓词演算中的连接词

This kind of assertion seems previou assert order to require special language extensions and has led people to suggest introducing first-order predicate calculus .

这种情况下的断言似乎似乎这种原地就需要实现特定的语言扩展，于是一些人建议引入一阶谓引入一些实现词演算。

In 1879 , the publication of " Concept Writing " marks the foundation of propositional calculus and the predicate calculus & the basic part of mathematical logic .

1879年《概念文字》的出版，标志着数理逻辑的基础部分&命题演算和谓词演算正式建立。

The Medium Logic Propositional Calculus System MPM and the Medium Logic Predicate Calculus System MFM are new logic systems . They are fit for dealing with incomplete information .

中介逻辑命题演算系统MP~M和中介逻辑谓词演算系统MF~M是一种适用于处理不完全信息的新的逻辑系统。

After this , American Logician Kurt Godel proved the completeness theory of predicate calculus . This means the completion of the base of Modern Logic .

之后，美籍逻辑学家歌德尔一阶谓词演算的完备性定理，这标志着现代逻辑基础部分的完成。

The narrow medium system only consists of the medium propositional system MP and its expansion MP , the medium predicate calculus system MF and its expansion MF and the system ME .

狭义的中介系统仅指中介逻辑ML，它由中介命题系统MP及其扩张系统MP、中介谓词演算系统MF及其扩张系统MF，以及带等词的中介谓词演算系统ME组成。